Downey and Hirschfeldt, "Algorithmic Randomness and Complexity"
計算可能性理論
について
Robert I Soare